COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂CSL Profesor Albert Meyer↓Department of Electrical Engineering
and Computer Science↓M.I.T.↓Cambridge, Mass. 02139∞

Dear Professor Meyer:

	Dana Scott's outstanding contributions to computer science
began in the late 1960s.  From my point of view, the most important
was his formal system for proving properties of computable functions
incorporating the notions of partial ordering, monotonic and continuous
functions and his rule of induction.  After that comes his lattice of
continuous functions and his discovery of models of the lambda calculus.

	M.I.T. computer science will be greatly strengthened if
Scott comes, because his thesis students will do work that will
combine practical importance and mathematical sophistication.

	I wish he were interested in returning to Stanford.

.sgn